[<sup class="mid">tactic</sup>](https://leanprover-community.github.io/mathlib_docs/tactics.html#{{name}})